projects / gtk4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9608a0) | patch
ci: Update the docker wrapper script
authorEmmanuele Bassi <ebassi@gnome.org>
Tue, 25 Feb 2020 19:05:07 +0000 (19:05 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Tue, 25 Feb 2020 19:05:07 +0000 (19:05 +0000)
commit7bc50b746600646b5cbadcd614f4a0b90a3a35fa
treefd252cba95cf384c2e9db887d25f7f4fef3c386dtree | snapshot
parentd9608a03572e061f04c5c5b84b3baf97a93be21fcommit | diff
ci: Update the docker wrapper script

Do a better job at detecting whether we have Docker installed.
.gitlab-ci/run-docker.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.